简体版 English
تسجيل الدخول إنشاء حساب جديد

ألونزو تشرتش بالانجليزي

يبدو
"ألونزو تشرتش" أمثلة على
الترجمة إلى الإنجليزيةجوال إصدار
  • alonzo church
أمثلة
  • He is one of many logicians to have studied with Alonzo Church.
    وهو واحد من العديد من علماء المنطق الذين درسوا مع ألونزو تشرتش .
  • It was first introduced by mathematician Alonzo Church in the 1930s as part of his research of the foundations of mathematics.
    قدم لأول مرة من قبل عالم الرياضيات ألونزو تشرتش في الثلاثينيات من القرن الماضي في اطار التحقيقات في أسس الرياضيات.
  • This was done by Alonzo Church in 1936 with the concept of "effective calculability" based on his λ-calculus and by Alan Turing in the same year with his concept of Turing machines.
    وقد فعل ذلك ألونزو تشرتش عام 1936 مع مفهوم "القدرة الحسابية الفعالة" على أساس حسابات اللامدا الخاصة به وآلان تورنغ في نفس السنة بمفهومه آلة تورنغ وقد تم الاعترف في وقت لاحق أن هذه المفاهيم معادلة لنماذج الحساب.